#ifndef _SYSCALLS_H
#define	_SYSCALLS_H

/* Hier bekommt jeder Systemaufruf eine eindeutige ID zugewiesen */
typedef enum {
    SYSCALL_ID_YIELD = 0,
    SYSCALL_ID_WRITE = 1
} syscall_num_t;

/* Prototypen der einzelnen Systemaufrufe zum Inkludieren in User-Prozessen */
void yield();
void printf (char *str, ...) ;

#endif	/* _SYSCALLS_H */

